remove implicit assertions