Check for null counterexample on renaming