added var semantic-jump-depth to fix fast-jump