If an InternalAsserFalse is guarded by an expression that is `AlwaysSat`, we can statically throw an error

[Nikil-Shyamsunder]

I think at this point (now that we've done reaching definition analysis) we have everything in place such that we can statically identify conflicting assignmnments by finding InternalAsserFalse guards that are AlwaysSat i.e. tautologically true.