% not provable
%%%%%%%%%%%%%%%%%%%%%%
% not provable

%querytabled * 
   D : check inc (nat => nat).

%querytabled 5 check test2 nat.

%querytabled *
  check sub' (nat => nat => nat).

%querytabled 16 
check mult (nat => pos => nat).