Add index of rule with ordered atom set head and body