added more tests for TC #243
close #255 requires sync with overturetool/overture@dcc7545bda6a266ca39d84313e38d7cb2bdd64a6