added more tests for TC #243
close #255 requires sync with overturetool/overture@dcc7545bda6a266ca39d84313e38d7cb2bdd64a6
Merge remote-tracking branch 'origin/test' into kel/base
Merge remote-tracking branch 'origin/test' into kel/base
changed the interpreter external cosim test cases. with the console matching
Check parsed function signature type to ensure it's actually a function
type, otherwise throw a StuckException.
Fix #229, Fix #256
Merge remote-tracking branch 'origin/development' into alrd
Merge with origin/alrd and improvements to remove tock events in analysis that do not use time.