let status frame =
    match frame.status with
      | Some x -> x
      | None ->
          let x = L.fresh "status" (Formula.Model Formula.Integerin
          frame.status <- Some x ; x