Module LithoDomain.MethodCallPrefix
Called procedure & location
type t= private{prefix : string;procname : IR.Procname.t;location : IBase.Location.t;}
val make_with_prefixes : IR.Procname.t -> IBase.Location.t -> t list