398245.fig.001a
(a)
398245.fig.001b
(b)
Figure 1: An action with conditional effects (a) and its compiling result by IPP (b).