12 4
21 1 0 0		# x >= 0
31 -1 1 0		# x <= P
4
51 3
60 1 -10		# P=10
7
8P
9instanciated parameter test
10---------------------------
110 <= x <= P
12P=10
13---------------------------
14