Lines Matching full:precondition
42 // We use this precondition to produce a cast that will dominate all its
