[saxon-upgrade] handle all assignations, code formatted
[saxon-upgrade] added tests of nodecomparisions and for-expressions