public static boolean cannotFall(FunctionContact contact) {
        BooleanFormula resetFunction = contact.getResetFunction();
        if (resetFunction != null) {
            return isConstant0(resetFunction);
        }