Replace Int with BitVec, temporarily eliminate loop

* Replaced Test and Modifications with (3-bit) BitVec.

* Commented out Symmetric, Transitive, and KA-LFP-{L,R} to eliminate
  loop.