public void Insert (int pos, QuantifiedExprBody body) { List.Insert (pos, body); }
public void Add (QuantifiedExprBody body) { List.Add (body); }
public void Insert (int pos, QuantifiedExprBody body) { List.Insert (pos, body); }
public void Add (QuantifiedExprBody body) { List.Add (body); }