Fix bug in SymbolicUtil.getFollowingToken