Handling of general VCAS model

[schillic]

• set-based: works but is neither over- nor underapproximating; due to choosing an arbitrary advisory based on an overapproximation (a sound behavior would be to choose all advisories that are allowed in the overapproximation)
• analysis of full setting (several options per controller)
• unlike what we obtain, some behaviors are supposed to be correct (according to the ARCH-COMP report)