Delete TrigSolver.lastbuildstate