312     BinTestTy BinTest;  member
332     BinTest.Source  = Source;  in PropagationInfo()
333     BinTest.EOp     = EOp;  in PropagationInfo()
334     BinTest.LTest   = LTest;  in PropagationInfo()
335     BinTest.RTest   = RTest;  in PropagationInfo()
343     BinTest.Source         = Source;  in PropagationInfo()
344     BinTest.EOp            = EOp;  in PropagationInfo()
345     BinTest.LTest.Var      = LVar;  in PropagationInfo()
346     BinTest.LTest.TestsFor = LTestsFor;  in PropagationInfo()
347     BinTest.RTest.Var      = RVar;  in PropagationInfo()
348     BinTest.RTest.TestsFor = RTestsFor;  in PropagationInfo()
370     return BinTest.LTest;  in getLTest()
375     return BinTest.RTest;  in getRTest()
403     return BinTest.EOp;  in testEffectiveOp()
408     return BinTest.Source;  in testSourceNode()
434       return PropagationInfo(BinTest.Source,  in invertTest()
435         BinTest.EOp == EO_And ? EO_Or : EO_And,  in invertTest()
436         BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor),  in invertTest()
437         BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor));  in invertTest()