contexts moved to test_data
Tests for implications
Removed .cpp file with old realization of BitSet, added size check for implication
TestImplicationDefaultConstructor added