1 temporary files moved to /temp  2 add simplification to proof replaying 3 fix a bug in boolean printing