Initial Reachability PCE module

Unit-tested version of reachability-based PCE