add annotation for reflecting joinpoint signature
use updated frontend transformation of closures