internal GraphJumpProxy(GraphJump jump) { GraphJump = jump; }
internal static GraphJumpProxy GraphJumpProxy(GraphJump jump) { return(new GraphJumpProxy(jump)); }