Updates in dependencies visitor of the model checker.
Added FT plugin example.
Improvements to handle process and actions with parameters.
Added example with basic concepts of fault-tolerance verification as
shown in D33.3.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Fixed exception handling on the model-checker integration.
Adjustments to parameters manipulation. working for BEOAVDeviceDiscovery.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
change test case to display interpreter state when failing
Adjustments to formula script generation.
removed unessary context
Small fixes to formula script generation.
close #268 fixed this again. It was broken due to a fix for #282

#268 should be manually check to confirm that the test result is correct (issue-268-pos.result) @JeremyBryans

close #282 this should be done now
improved formatting of error results in the test of the interpreter + added expected status
Merge remote-tracking branches 'origin/kel/base' and 'origin/acf' into jwc/base