instruct contract translat local action sequenc contract translat local action sequenc expand 