v2.17.0
This release adds checks to the CFA to ensure that all locations and variables have unique names. This is required because although in-memory CFAs are fine with having variables/locations with the same name (it can distinguish references), but if we serialize the CFA and try to parse it back, we're gonna have a bad time. This should not break any frontend, but if it does, then probably the frontend's code was relying on a fragile feature and it should be fixed.