Added unit test to figure out whether false theorems are generated.
Towards #7