Fix producing wrong safe macro for fake divergence.