抽象機械が文を扱えるように改造
if 文を導入.