plugin: rm all assume statements