added to if(assume) in ReasonDelagation

added to if(assume) in ReasonDelagation
added modified findAssumption (made it nondestructive)