newQuery = new QueryImpl( query );
queries.put( representative, newQuery );
}
for( final ATermAppl arg : atom.getArguments() ) {
if( resultVars.contains( arg ) ) {
newQuery.addResultVar( arg );
}
for( final VarType v : VarType.values() ) {
if( query.getDistVarsForType( v ).contains( arg ) ) {
newQuery.addDistVar( arg, v );