Refactor complete - incomplete distinction #52
Description
Currently complete and incomplete interfaces are placed in two separate directories, but some tools can do both at the same time. Therefore rather than having tool classes inherit from CompleteVerifier or IncompleteVerifier, the distinction should happen in some other manner.