instantiate refine with forward by mapping csem → csem; cinit → cinit; cfin → cfin; cop2 → cop2; cop1 → cop1; cop → cop; asem → asem; ainit → ainit; afin → afin; aop2 → aop2; aop1 → aop1; aop → aop; rename end instantiate