Generalize quantify/dequantify function

Now works on Args instead of SMTExpr
Remove redundant imports