updated Dehop to work with new NetKAT_Types policies
Now compute full fix point for star in remove_dead_matches