public static boolean cannotRise(FunctionContact contact) {
        BooleanFormula setFunction = contact.getSetFunction();
        if (setFunction != null) {
            return isConstant0(setFunction);
        }