def parseUserInvariant(s,description): (succ,obj) = parseInvariant(s,description) if succ == 0: return obj else: raise CrowdproverException("Errorcode 1: Could not parse user invariant - "+obj)
def parseableInvariant(program, invariant): (succ,obj) = parseInvariant(invariant,program.description) return (succ == 0)