Bug Fix

-Reading in trace didn't account for final jump location
-Optimized createJumpSet and fixed calculation errors
-createEdgeSet no longer checks nodes against themselves
-Added DiagnosticRule enum for debugging