update assume, FindAssumption

Added to assume in reason Delegation
added to find assumption