Parameter F.Stat

val env : env
val context_stack : Context.stack