bugfix: do not rename variables for skolemized formulas (otherwise
variables wont match)