Ir_theory loading ...