replace implies with and in livelock cut condition