No more tests are ignored. Remove the TODO note.
Added more test formulae into the theory file.