Cubicle 1.1.2 documentation and source : Fixpoint.FixpointTrie.peasy

let peasy_fixpoint s nodes = 
    match easy_fixpoint s nodes with
    | None -> medium_fixpoint s nodes
    | r -> r