Do you also have AIG models enabled too? I remember theat there are a subset of AIG models that used to be invisible in FSLTL. They had to be deleted in order for FSLTL to be able to use AIG models correctly. I have FSLTL models, but cut down AIG models, and FS Traffic models all active but given that order of priority in BATC.