Added dependency on SICL-HIR-TO-MIR.