Reasoning_proxy.Abstractor
val top : scope:scope option -> P.Abstractor.Query.params -> Imandra_surface.Abstractor.FSM.t