Modify Contraction

Added initial code for supporting the ability to find a desired
conclusion after a contraction. Also adds a test case.
Fix Contraction

More complete version of last commit. Also adds a test case.
Fix Contraction

Finished initial version that allows for finding desired contractions.