Fix: Setup CClosure for array logics