Lines Matching defs:MaxRHS