removed unused import
change debugger to allow inspection of the state when a deadlock or pre/post error occurs
added force clear for debug history when re-launching the debugger
forced the socket debugger to stop before termination when a deadlock happens
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Created first version of the dependencies visitor for the model checker.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Merge remote-tracking branch 'origin/kel/base' into development