Lines Matching defs:AssumeSimplify