class BoogieLanguage::ScanError