PSharpSyntaxRewriter crashes when jump has no arguments

[akashlal]

When an input psharp program has jump() without arguments then PSharpSyntaxRewriter crashes inside the Rewrite method of GotoStateRewriter. It expects to see one argument, which isn't there:

            var arg = invocation.ArgumentList.Arguments[0].ToString();