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