if we remove rules from the main rule table if they're tagged with "alphaRule", and then don't actually query the simulationRuleTable during execution, then those rules will never be applied in ordinary rewriting. Can someone familiar with the alphaRule attribute please verify if that's correct? @liyili2 ?