Abstract Symbolic State Matching