sig
  type head
  val get_literals : Ic.DisjunctiveHead.head -> Ic.HeadLiteral.literal list
end