BufferOverrunSemantics.Prune
val prune : IBase.Location.t -> IR.IntegerWidths.t -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Mem.t
Prune memory with the given condition expression