E.Smtlib2
val statement : string -> (?loc:L.t -> T.t list -> S.t) option
Called on statements of the form `(<id> <term>)` where `<id>` is not the name of a statement in the official smtlib specification.