Support placeholders in explode_term
Support placeholders in explode_term

svn path=/trunk/StrategoXT/; revision=5984

metaborg/strategoxt,lichtemo/strategoxt,metaborg/strategoxt,metaborg/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt,lichtemo/strategoxt,Apanatshka/strategoxt,metaborg/strategoxt,Apanatshka/strategoxt,lichtemo/strategoxt