pruned whiteBox testing (testing needs to be rewritten)