Rename "ast" to "PseudoC"; split language def'n from theory of properties
Pained thoughts about getting action-graphs from PseudoC programs
Define adding actions to graphs *after* execution of rest of graph.

Existing add_action function adds a new action so that its effect
comes before that of the rest of the graph to which it is being added.