WIP: processing IFL reviewers comments
Merge branch 'js' of github.com:UU-ComputerScience/uhc into js