not possible to use assert rewriting with helper functions