Make get_idx_irn(irg, idx) public (useful for debugging purposes)