opt out of fixed point termination by default