Adding Acc_intro_generator in order to help computations of Function in particular
Add Acc_intro_generator on top of all wf function proof (much much faster execution)