2 4
1 1 0 0		# x >= 0
1 -2 1 0		# x <= P

1 3
0 1 -11		# P=11

P
instanciated parameter test
---------------------------
0 <= x <= P
P=10
---------------------------