integrating term.rl machine into statement.rl