Currently, `assert` `by` is restricted to pure assertions. However, we can relax this for the non-contradictory mode (cf. https://github.com/viperproject/gobra/pull/970#discussion_r2763459980)
Currently,
assertbyis restricted to pure assertions. However, we can relax this for the non-contradictory mode (cf. #970 (comment))