adding array methods to test for counterexample
array methods added, tested; new solveable? test works
added more test cases for solveable? method