inject stc_fn into ast.Module nodes, and pass tag arg to p0s and p01s to set same.