The TM assertions seem to not work somehow. There are no tests on the TMs in the assertions package so we are not detecting the issues