Distinguish ELOOP diagnosis threshold from SYMLOOP_MAX.