Text this: Verification of Flat FIFO Systems