 changed in initial enrichment recursive
 changed in initial enrichment recursive
 changed in initial enrichment recursive
 changed in initial enrichment recursive
 changed in initial enrichment recursive
 unchanged fixed point of initial enrichment recursive 
acting filestem is ERmodel.logical
