fa: full test coverage of every rule