Witness model support for ABS (ie. a real editor)
We need the equivalent of the witness language adapted for ABS
This is actually just a sequence of vm_interpreter/ContractOccurence (cf. abs.ecore)
additionnaly, we may consider also capture the current state of the variables (like in previous witness language)
Edited by Vojtisek Didier