Update MidpointFindingKarel