reindentation with emacs acsl mode
fixed types + added any_ptr_t
add flag to keep the proof traces
added push function for round stack