abstract car
xor transmission
automatic
manual
`fca ?
`cc
[ acc => fca ]
keyword
abstract fca
xor sensor
radar
lidar
c0_lidar
abstract cc
switches 2..3
backlight ?
acc ?
c0_acc
abstract camaro : car
[ all s : switches | s.backlight ]
transformer ?
[ # switches = 3 ]
keyword
bumbleBee : camaro
[ transformer ]
[ manual ]