* Non final variables used in guard should be reported even when they are pattern variables

* Fix the domination rule that ignores the guard - We should only ignore if the guard is always true.

* Unify error reporting of mixed case lables with patterns - now patterns cannot be mixed with any other labels.