Fix bug where additional token is printed after ;
Fix bug where additional token is printed after ;

If the source has an empty ';', libclang will return an extra
unrelated token in the cursor (some sort of buffer overflow?)

seL4/pruner