lowerbound no longer converted to term, fixed bug when body is empty but loop runs