BugFix: test can only be created for a&b == 0 or a&b != 0