Updated with reflexivity for reachability matrix
Added *.pyc