Add term enumeration algorithm
Add may-diverge command
Add looping divergence detector