let
is_fully_interp i =
(la <= i
&&
i <= cop)