CRUISE: disable more efficiently some code