For example `(P & X & (X==2)).sim(1)` might return HTT, 1, FALSE
For example
(P & X & (X==2)).sim(1)might return
HTT, 1, FALSE