Lines Matching refs:clauseset