Improved API of State Matching Assertions