The following code is attempting to pass 'debug' through 2 procedures

p1 := proc(a, b, {debug::truefalse := false}) print("p1", debug); a + b; end proc;
p2 := proc(a, b, {debug::truefalse := false}) print("p2", debug); p1(a, b, 'debug' = true); end proc;
p2(1, 2, 'debug' = true);

The result I get is 
 

                           "p2", true

                          "p1", false

                               3

How can I get the value of debug in my call statement to p2 to be passed to p1?

Thanks

I have been performing symbolic solutions on netlists using Syrup, and then performing worst-case analysis on the result using the ranges of all the variables.

I would like to add ifelse and/or piecewise linear expressions to my Syrup models. Using symbolic analysis, I can get multiple sets of results from Syrup based on the conditional statements. I'm thinking that if I could put Syrup solve inside my worst case analysis procedure and submit numeric values to Syrup, that the conditional expressions could be solved for.

I think there is something similar that can be done with Dynamic Systems.

Does this request make sense? Is it possible?

For syntax highlighting etc of Maple programs