sig
  type value =
      BASE
    | VALUE
    | REFERENCE
    | INDEX of int list
    | ARRAY of int list
    | REF_INDEX of int list
    | REF_ARRAY of int list
    | TERM of VarUsage.Model.value
  val field : VarUsage.Model.value -> VarUsage.Model.value
  val shift : int list -> VarUsage.Model.value -> VarUsage.Model.value
  val load : VarUsage.Model.value -> VarUsage.Model.value
end