Adjusted description of Natural datatype to new interface of smtlib2
Generate less forall quantifier with new smtlib2 interface