Lines Matching refs:hypotheses