Add result:lift_exn/1