rules maps each rule name to its position and, if it has an explicit condition (under condition ...), the condition expression. None means the rule is unconditional.