Allow impure assertions for assert by #999
Description
Currently, assert by is restricted to pure assertions. However, we can relax this for the non-contradictory mode (cf. #970 (comment))
{{ message }}
assert by #999Currently, assert by is restricted to pure assertions. However, we can relax this for the non-contradictory mode (cf. #970 (comment))