Lines Matching defs:assumption_1