Added reachability calculation via front propagation