rm need for ruleIndex in prec sem pred.