Another fix in one of the 'extractPatternTree' functions of the type
checker.
Yet another fix in the same 'extractPatternTree' function of the type
checker.