Function checkLaws

Test the law set in a pure function with no vitest imports involved.