(b) Adding an option: unfoldFactor to unfold functions more than once in each iteration of verification