Working! thanks to Fabio the following line fails and had to be commented out m.P{ m.P { (m.P(3) + "xuxu")^0 * m.V"xuxu", xuxu = m.P(1) } } I have version 0.10.1 so I think it is expected to be fixed. Andre