Lines Matching defs:stateVerify