Unit test for states_simplicity, requirements, preconditions,
businessrules