First public commit
* mutex relations are coded, not sure if working correctly
* basic one- and two-step test cases are implemented