FreeVariables now eliminunates duplicates
FreeVariables now eliminunates duplicates

crsx/crsx4,crsx/crsx4,TransScript/TransScript,TransScript/TransScript,tosca-lang/tosca,tosca-lang/tosca,tosca-lang/tosca