inferRuleArray completely replaced with simple-storage variables