Removed unused definitions in CompilingPatternMatching.