sig
  val octagon : Abstractions.flag
  val box : Abstractions.flag
  val polka_loose : Abstractions.flag
  val polka_strict : Abstractions.flag
  val polka_equality : Abstractions.flag
end