RequirementMachine: Fix a typo in debug output and comment

Author: slavapestov

lib/AST/RequirementMachine/RewriteSystem.cpp

@@ -333,7 +333,7 @@ void RewriteSystem::simplifyRewriteSystem() {
           continue;
 
         if (Debug.contains(DebugFlags::Completion)) {
-          const auto &otherRule = getRule(ruleID);
+          const auto &otherRule = getRule(*otherRuleID);
           llvm::dbgs() << "$ Deleting rule " << rule << " because "
                        << "its left hand side contains " << otherRule
                        << "\n";

lib/AST/RequirementMachine/RewriteSystemCompletion.cpp

@@ -535,7 +535,7 @@ RewriteSystem::computeConfluentCompletion(unsigned maxIterations,
           if (from == lhs.getLHS().begin()) {
             // While every rule will have an overlap of the first kind
             // with itself, it's not useful to consider since the
-            // resulting trivial pair is always trivial.
+            // resulting critical pair is always trivial.
             if (i == j)
               return;