Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.