Extend Ptree helpers
There is a need to extend Ptree helpers. This meta-issue records a list of corresponding wishes
-
allows specifying a diverging program. Either gives a Boolean option to begin_let
or an additional function to set the spec of the function in question -
give a way to add global variable (thus hiding the Eany that is needed for that) -
provide a function to add a writes
clause in a contract