bugfix on operator* json support, program optimizer dumps json in case of failure, update test suite