Clean Vehicle Programs: State Tracker