1. test case for comparing both soundness and precision. 2. begin to integrate everything together.