(Promela) Fixes regarding FIFO sizes..
(Promela) Removed deprecated class, it is replaced by ScheduleBalanceEq class
Merge branch 'master' of https://github.com/orcc/orcc
(Promela) Fixes