Package car

Class Summary
Car Class invariants: The gas tank does not contain a negative amount of gas.