Right now errors bubble up to the common ancestor of all subtrees that were compared as part of a mismatched pattern. This usually does not help the user narrow down the scope of where the problem occurred. Finer grained error reporting should be implemented.