Phantom Establishments
Problem: Each condition is considered only once for establishment (with the assumption that all contributing actions are known up-front)
- Non-primitive actions do not advertise all their effects up-front
Solution-- Wait for GODOT: Put phantom establishment branches to account for the magical appearance of contributing effects as a result of reduction
-- Optimizations possible