Bug fix where two isolated heap regions with empty reachability sets have