Added non termination example