fix smali.abnf bug