Lines Matching refs:disjunction_rule