[FOLD] Use a tribool instead of two intertwined booleans