Script for cleaning
clean.sh renamed to clean_junk.sh
TestImplicationSizeConstructor added
TestImplicationTwoBitSetConstructor added
TestImplicationCopyConstructor added
TestImplicationPremiseGetter and TestImplicationConclusionGetter added
TestImplicationPremiseSize and TestImplicationConclusionSize added
TestImplicationComplete added