o taking care of warnings
o Removed BOOL from one of the alternatives of Type. The corresponding type is now a constant called bool defined in Z3.Const.
o Fixed some tests
o changed the prover tactics to give a timeout to individual tactics
o added a possible exception to safety properties.
o Merged with main branch
o added heap.hs