add which-rule to Relex2Logic