Cubicle 1.1.2 documentation and source : Fixpoint.FixpointTrie.hard

let hard_fixpoint s nodes =
    try
      check_fixpoint s nodes;
      None
    with 
    | Fixpoint db -> Some db
    | Exit -> None
    | Smt.Unsat db -> Some db