bugfixes in transformation to DESMO-J.