multi-variable
accd314f · Adapt EFSMs for multi-variable extension ·