sympy equality test with complex rational functions gives None (unknown)...

What happens when an assumption, i.e. [[assume]] contains UB?...

Reproducing clang's __builtin_assume for GCC...

Why is [[assume]] not evaluated but also potentially evaluated?...