Strategy primitives
Paths contain information of interest from computations
- path(steps,cfT)
- the steps taken and the final configuration
Strategies act on paths
- extending the steps
- updating the final configuration
simp(xPath,xQidL) hides details
- omitting some rules
- keeping only attributes of interest in a configuration