315     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()
342     BinTest.Source         = Source;  in PropagationInfo()
343     BinTest.EOp            = EOp;  in PropagationInfo()
344     BinTest.LTest.Var      = LVar;  in PropagationInfo()
345     BinTest.LTest.TestsFor = LTestsFor;  in PropagationInfo()
346     BinTest.RTest.Var      = RVar;  in PropagationInfo()
347     BinTest.RTest.TestsFor = RTestsFor;  in PropagationInfo()
368     return BinTest.LTest;  in getLTest()
373     return BinTest.RTest;  in getRTest()
401     return BinTest.EOp;  in testEffectiveOp()
406     return BinTest.Source;  in testSourceNode()
432       return PropagationInfo(BinTest.Source,  in invertTest()
433         BinTest.EOp == EO_And ? EO_Or : EO_And,  in invertTest()
434         BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor),  in invertTest()
435         BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor));  in invertTest()