scct support added

added scct support for code coverage analysis
brought coverage of DisjointSets to 100%
fixed termparser to use correct VariableStore

added additional tests to ensure variables created by TermParser work as
intended.
increased coverage to 100%

added additional tests for uncovered code
fixed bugs discovered by new tests