Function reachable 

pub fn reachable(roots: &[&Value], env: &Env, heap: &Heap) -> BTreeSet<Address>

Compute the set of addresses reachable from roots and env through heap.