For SeeC-Clang mapped state movement add a new function, isLogicalPoint(),
which determines if an unmapped ThreadState is in a logical position to stop
according to the SeeC-Clang mapping. Redefined seec::cm's moveForward() and
moveBackward() calls using seec::trace's moveForwardUntil() and
moveBackwardUntil().