initial algebra tests with abstract operators and laws