trying out test generators
new matchers: is_legal, is_illegal for actions