+ Added succ gen table to brfs
+ fixed succ gen example