save pointers indicating state of if/then @param aa the command array token list
(T[][] aa)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected