testing error messages for verification of algebraic laws