checkpoint for the symbolic executor. Added the classes, but not yet implemented