code: private void updateRuleIndexes(CQIE rule) {
  		Function head = rule.getHead();
  		ruleIndex.put(head.getFunctionSymbol(), rule);
  		updateRuleIndexByBodyPredicate(rule);
  	}
docs: This method takes a rule and populates the ruleIndex field.
  @param rule