Added an option to the variable generation, which allows generating a variable that is free
with respect to a list of variables. WARNING: this is likely unsound (name clashes)!