sig
  val affine_hull :
    'a Syntax.context ->
    'a Syntax.formula -> Syntax.symbol list -> 'a Syntax.term list
  val boxify :
    'a Syntax.context ->
    'a Syntax.formula -> 'a Syntax.term list -> 'a Syntax.formula
  val abstract :
    ?exists:(Syntax.symbol -> bool) ->
    'a Syntax.context ->
    'abs Apron.Manager.t -> 'a Syntax.formula -> ('a, 'abs) SrkApron.property
end