public static void remove(Procedure p, QuantifiedTypeCollector qtc)
{
var tqr = new TypeQuantificationRemover(p, qtc);
tqr.removeTypeQuantification();
}
public TypeQuantificationRemover(Procedure p, QuantifiedTypeCollector qtc)
{
this.qtc = qtc;
procedure = p;
}