pre-remove Term.Assign
add let in (first test)