diff --git a/example/input/input.irp.f b/example/input/input.irp.f
new file mode 100644
index 0000000..2f5049a
--- /dev/null
+++ b/example/input/input.irp.f
@@ -0,0 +1,22 @@
+ BEGIN_PROVIDER [ integer, d1 ]
+&BEGIN_PROVIDER [ integer, d2 ]
+&BEGIN_PROVIDER [ integer, d3 ]
+&BEGIN_PROVIDER [ integer, d4 ]
+&BEGIN_PROVIDER [ integer, d5 ]
+
+ print *,  'd1'
+ read(*,*) d1
+
+ BEGIN_TEMPLATE
+  print *,  '$X'
+  read(*,*) $X
+  ASSERT ( $X > $Y )
+
+  SUBST [ X, Y ]
+   d2; d1;;
+   d3; d2;;
+   d4; d3;;
+   d5; d4;;
+ END_TEMPLATE
+END_PROVIDER
+
diff --git a/example/uvwt.irp.f b/example/uvwt.irp.f
index 32803b2..f8be7e8 100644
--- a/example/uvwt.irp.f
+++ b/example/uvwt.irp.f
@@ -20,6 +20,7 @@ BEGIN_PROVIDER [ integer, u2 ]
   integer :: fu
 ! u2 = fu(d3,d4)
   u2 = d3+d4+1
+  ASSERT (u2 > d3)
 END_PROVIDER
 
 integer function fu(x,y)
diff --git a/man/man1/irpf90.1.gz b/man/man1/irpf90.1.gz
index 19b980f..0bd7baa 100644
Binary files a/man/man1/irpf90.1.gz and b/man/man1/irpf90.1.gz differ