solver problem with namespace test, TODO test in jython