Special status for single-branch functions with only <assert false> in the body.
Negative constraints, i.e. <assert false> clauses, check as a fallback backtracking instead of within abduction. Include numerical satisfiability in the check. Test cleanup.