Moved the function body translation to support potential backtracking
with formal parameter patterns.