Refactor compilation and graph analysis into functions
Changeset computer tests for graph reachability