Lines Matching full:precondition
663 /// Precondition: Second instruction must be dominated by the first