add workaround of a Mathematica issue on assumptions