Reduced code of POLDER_INVARIANTS if POLDER_DEBUG == 0.