Change conditions of examples to not produce HOLE