Method conflict

src/api/java/UserPropagatorBase.java:98–100

(Expr<?>[] fixed)

    }

    public final boolean conflict(Expr<?>[] fixed) {
        return conflict(fixed, new Expr[0], new Expr[0]);
    }

    public final boolean conflict(Expr<?>[] fixed, Expr<?>[] lhs, Expr<?>[] rhs) {
        return consequence(fixed, lhs, rhs, ctx.mkBool(false));