Fix infinite loop in redcode demotion