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