add tests for IndependenceAssertion Class