Definition of a terminating eval function for an assembly with loops