LexBFS working