Note in ast_cfg, type_map_union has a check to test whether all variable names are unique. This is currently disabled due to this bug. Re-enable the check once the bug is fixed.
Note in ast_cfg, type_map_union has a check to test whether all variable names are unique. This is currently disabled due to this bug. Re-enable the check once the bug is fixed.