let
descr =
"infer function annotations (inv, pre, spre, wpre)"