Symbolic translation involving three statements