Allow empty postcondition+vanishing function calls

[N1ark]

Allows the verification of vanishing function calls and empty (false) post-conditions.

[giltho]

Hmm, sorry to be annoying but I think I want all warnings to stdout
False post-conditions is too much of a footgun to leave it lost in the log file

[NatKarmios]

Hmm, sorry to be annoying but I think I want all warnings to stdout False post-conditions is too much of a footgun to leave it lost in the log file

Not sure if it matters for this project, but be aware that prints to stdout make the debugger crash (if it's encountered while debugging) 🙂

[giltho]

@NatKarmios Let's just change print_to_all to only print to stdout if not in debugger mode?