Simplify.
Update SfLib about Nat-le.