Merged commits aa93be5, 50d162b, afa1727, 4be9bf9 from github.com:bogachev-pa/rdo-xtext
formatting in generated code
decision point search serialization plus various necessary changes in patterns