improved abstract interpreter, commented out some checks