getCurrentRuleId :: Monad m => InstanceBuilder a b m Int
getCurrentRuleId = do (g, t, rs, r) <- get
                      return r

-- | Selects a new rule id
getCurrentRuleId :: Monad m => InstanceBuilder a b m Int
getCurrentRuleId = do (g, t, rs, r) <- get
                      return r

-- | Selects a new rule id
getCurrentRuleId = do (g, t, rs, r) <- get
                      return r

-- | Selects a new rule id