Fixed pattern matching fail reason

This will show how matching fails because of guard, not because there's no `area(square, A, B)` clause.