Analyzing Increment Finance Protocol