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