bugfix: unit test for mutex, order of variables in the set determines output formula. Fixes #1