Update Find Assumption
Merge pull request #15 from okinm117/patch-4

Update Find Assumption