Add support for tests with bats
Merge branch 'interference_rules' of github.com:samuel02/RTFM into interference_rules

* 'interference_rules' of github.com:samuel02/RTFM:
  Removed typechecking of return types of methods and tasks