New bug fixed and counter example tested