strategy/traversal
environment
environment.str
fixpoint
fixpoint.str
list
list.str
list-environment
list-environment.str
simple
simple.str