Bug found

but still no termination condition is considered