Assertion list for term "overcharge the battery".

Results from Ascent++: 1
alternator CapableOfovercharge the battery 0.19