update assume, FindAssumption

Added to assume in reason Delegation
added to find assumption
Merge pull request #19 from irongavel/patch-12

update assume, FindAssumption