Converting test assertions to the new format