Issue 555 bug fix: bizarre Satisfy Number behavior

[charlestian23]

Description

Fixes the bizarre Satisfy Number behavior by using Finish with Bulbs Direct Rule to check when there is only 1 case.

Closes #555

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Enhancement (improvement to an already existing feature)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

I attempted the same steps Bram did in #555 and verified that the rule does not check out anymore. I also tested using the rule in its intended fashion and it also worked (which should be backed up by the test suite not catching anything).

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation (if applicable)
• My changes generate no new warnings
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes

[Chase-Grajeda]

Current changes are well document and solve the bug