Added mjplusplus semantic test cases