instance

The following is invalid µOCCAM. Tests the instance process. The first two arguments are correct. It should fail on the third, however, since this is an expression, not an element.

instance (a, b, a+b)