let depends_il0 x = x.il0_depends