setCurrentRuleId :: Monad m => Int -> InstanceBuilder a b m ()
setCurrentRuleId r = do (g, t, rs, _) <- get
                        put $ (g, t, rs, r)

-- | Gets the currently selected rule
setCurrentRuleId :: Monad m => Int -> InstanceBuilder a b m ()
setCurrentRuleId r = do (g, t, rs, _) <- get
                        put $ (g, t, rs, r)

-- | Gets the currently selected rule
setCurrentRuleId r = do (g, t, rs, _) <- get
                        put $ (g, t, rs, r)

-- | Gets the currently selected rule