fcnpost --- Function has the post condition
fcnconstraint --- unresolved constraint
constraintlocation --- display full c expression for every constraint generated
fcnpost --- Function has the post condition
fcnconstraint --- unresolved constraint
constraintlocation --- display full c expression for every constraint generated