27         Variable Q0 = new Variable("Q0");  in testSequential()  local
32         Expression Q0d = not(Q0);  in testSequential()
34 …Expression Q1d = or(and(not(D), not(Q1), Q0), and(not(D), Q1, not(Q0)), and(D, not(Q1), not(Q0)), …  in testSequential()
41                 and(not(D), not(Q2), Q1, Q0),  in testSequential()
43                 and(Q2, Q1, not(Q0)),  in testSequential()
44                 and(D, not(Q2), not(Q1), not(Q0)),  in testSequential()
45                 and(D, Q2, Q0));  in testSequential()
50                 and(Q2, Q1, Q0));  in testSequential()
53                 and(not(Q2), Q0),  in testSequential()
57                 and(not(Q2), Q1, Q0),  in testSequential()
61                 and(Q2, Q0),  in testSequential()
152         Variable Q0 = new Variable("Q0");  in testPin13()  local
156         Expression Y = and(Q0, Q1, Q2);  in testPin13()