RLE tests
Initial: 1 1 1 3 5 5 3 3 1
Result:
1 3
3 1
5 2
3 2
1 1
Initial: 
Result:
Initial: 1
Result:
1 1
Initial: 1 1
Result:
1 2
Initial: 1 1 1
Result:
1 3
Initial: 1 2 3 1 1 1 2 2 3 3 1
Result:
1 1
2 1
3 1
1 3
2 2
3 2
1 1
free_vars tests
A + B : A B
B + A : A B
A + B + BC : A B C
(B + D)(D + !(AE))(D + B) : A B D E
eval tests
A + B A:1 B:0  1
A + !B A:1 B:0  1
!A + B A:1 B:0  0
AB A:1 B:0  0
A!B A:1 B:0  1
Truth Table tests
Initial: (A+B)(!A+!B)(A!B+A)
Result:
00 0
01 0
10 1
11 0
Initial: (A+B)(C+!D)
Result:
0000 0
0001 0
0010 0
0011 0
0100 1
0101 0
0110 1
0111 1
1000 1
1001 0
1010 1
1011 1
1100 1
1101 0
1110 1
1111 1
