Claim
•This graph shows which functions would have to be checked when changing the invariants of the current vehicle object