Llair.Program
type t = program
val pp : t NS.pp
include NS.Invariant.S with type t := t
val invariant : t -> unit
val mk : globals:GlobalDefn.t list -> functions:func list -> t