getUniqueVarsAndExpressions()