Updated Finders in Proof (Count => numberOfOperands)
Merge pull request #40 from okinm117/patch-19

Updated Finders in Proof (Count => numberOfOperands)