Added implementation of implicit Euler method via search for fixpoint