added semantic correct testcase that is not accepted by mj++