AssumeResult:
    | "internal-error"
    | "not-a-predicate"
    | "contradiction"
    | "tautology"
    | "ok"