Lines Matching defs:StateTuple