add a KillIM check in the inverse method (needed for PaTATOR)