sig val datatype : string val param : Cil_types.varinfo -> MemoryContext.param val hypotheses : unit -> MemoryContext.clause list end