Fix implementation of strictness
CarTest