added guards for ignoring bugs when creating lifted counterexample steps