Reasoning_proxy.Instance
val top : scope:scope option -> ?cancel:Imandra_util.Switch.t -> P.Verify.Query.t -> Imandra_surface.Top_result.instance_result Imandra_thread_util.Fut.t