Lines Matching refs:constraints_equality