adding graph-to-prog translation