diff --git a/alliance/src/syf/src/syf_cost.c b/alliance/src/syf/src/syf_cost.c
index d60e358e..e0d25964 100644
--- a/alliance/src/syf/src/syf_cost.c
+++ b/alliance/src/syf/src/syf_cost.c
@@ -94,7 +94,7 @@ long SyfFbhAblGiveCost( FbhFigure )
   fbout_list *FbhOut;
   fbaux_list *FbhAux;
   fbreg_list *FbhReg;
-  biabl_list *FbhBiAbl;
+  fbbiabl_list *FbhBiAbl;
 
   Cost = 0;
 
@@ -123,7 +123,7 @@ long SyfFbhAblGiveCost( FbhFigure )
         FbhReg  = FbhReg->NEXT )
   {
     for ( FbhBiAbl  = FbhReg->BIABL;
-          FbhBiAbl != (biabl_list *)0;
+          FbhBiAbl != (fbbiabl_list *)0;
           FbhBiAbl  = FbhBiAbl->NEXT )
     {
       if ( FbhBiAbl->VALABL != (chain_list *)0 )
diff --git a/alliance/src/syf/src/syf_fsm2fbh.c b/alliance/src/syf/src/syf_fsm2fbh.c
index 70068fc1..8b6fc46e 100644
--- a/alliance/src/syf/src/syf_fsm2fbh.c
+++ b/alliance/src/syf/src/syf_fsm2fbh.c
@@ -134,8 +134,8 @@ void SyfFsmTreatOutput( FsmFigure, FbhFigure )
   fbout_list     *FbhOut;
   fbrin_list     *FbhRin;
   fbreg_list     *FbhReg;
-  biabl_list     *FbhBiAbl;
-  binode_list    *FbhBiNode;
+  fbbiabl_list     *FbhBiAbl;
+  fbbinode_list    *FbhBiNode;
   ablexpr        *Equation;
   ablexpr        *AblExpr;
   long            Index;
@@ -185,10 +185,10 @@ void SyfFsmTreatOutput( FsmFigure, FbhFigure )
       Equation = dupablexpr( FsmFigure->CLOCK_ABL );
       AblExpr  = dupablexpr( OutArray[ Index ].ABL );
 
-      FbhBiAbl = fbh_addbiabl( (biabl_list *)0,
+      FbhBiAbl = fbh_addbiabl( (fbbiabl_list *)0,
                                     OutArray[ Index ].NAME_MASTER, Equation, AblExpr );
   
-      FbhBiNode = fbh_addbinode( (binode_list *)0,
+      FbhBiNode = fbh_addbinode( (fbbinode_list *)0,
                                      (bddnode *)0, 
                                      (bddnode *)0 );
 
@@ -222,8 +222,8 @@ void SyfFsmTreatRegister( FsmFigure, FbhFigure )
   int              Index;
   fbreg_list      *FbhReg;
   fbrin_list      *FbhRin;
-  biabl_list      *FbhBiAbl;
-  binode_list     *FbhBiNode;
+  fbbiabl_list      *FbhBiAbl;
+  fbbinode_list     *FbhBiNode;
   chain_list      *Equation;
 
   SyfInfo  = FSM_SYF_INFO( FsmFigure );
@@ -234,12 +234,12 @@ void SyfFsmTreatRegister( FsmFigure, FbhFigure )
   for ( Index = SyfInfo->NUMBER_REG - 1; Index >= 0; Index-- )
   {
     Equation = dupablexpr( FsmFigure->CLOCK_ABL );
-    FbhBiAbl = fbh_addbiabl( (biabl_list *)0,
+    FbhBiAbl = fbh_addbiabl( (fbbiabl_list *)0,
                              RegArray[ Index ].NAME_MASTER,
                              Equation,
                              dupablexpr( RegArray[ Index ].ABL_IN ) );
 
-    FbhBiNode = fbh_addbinode( (binode_list *)0, (bddnode *)0, (bddnode *)0 );
+    FbhBiNode = fbh_addbinode( (fbbinode_list *)0, (bddnode *)0, (bddnode *)0 );
 
     FbhReg = fbh_addfbreg( FbhReg, RegArray[ Index ].NAME_MASTER,
                            FbhBiAbl, FbhBiNode );
@@ -256,12 +256,12 @@ void SyfFsmTreatRegister( FsmFigure, FbhFigure )
       if ( ! StackArray[ Index ].FLAGS )
       {
         Equation = dupablexpr( FsmFigure->CLOCK_ABL );
-        FbhBiAbl = fbh_addbiabl( (biabl_list *)0,
+        FbhBiAbl = fbh_addbiabl( (fbbiabl_list *)0,
                                       StackArray[ Index ].NAME_MASTER,
                                       Equation,
                                       dupablexpr( StackArray[ Index ].ABL ) );
 
-        FbhBiNode = fbh_addbinode( (binode_list *)0,
+        FbhBiNode = fbh_addbinode( (fbbinode_list *)0,
                                        (bddnode *)0,
                                        (bddnode *)0 );
 
diff --git a/alliance/src/syf/src/syf_simp.c b/alliance/src/syf/src/syf_simp.c
index efd41a2c..48f9b163 100644
--- a/alliance/src/syf/src/syf_simp.c
+++ b/alliance/src/syf/src/syf_simp.c
@@ -92,7 +92,7 @@ void SyfFbhSimplify( FbhFigure )
 {
   fbout_list *FbOut;
   fbreg_list *FbReg;
-  biabl_list *FbBiabl;
+  fbbiabl_list *FbBiabl;
   fbaux_list *FbAux;
 
   for ( FbAux  = FbhFigure->BEAUX;
@@ -120,7 +120,7 @@ void SyfFbhSimplify( FbhFigure )
         FbReg  = FbReg->NEXT )
   {
     for ( FbBiabl  = FbReg->BIABL;
-          FbBiabl != (biabl_list *)0;
+          FbBiabl != (fbbiabl_list *)0;
           FbBiabl  = FbBiabl->NEXT )
     {
       if ( ( FbBiabl->CNDABL != (chain_list *)0 ) &&