add interruption line
simplify cfg encoding; add bar; clean instructions