constant was
killed to remove all of its assertions and allow the user to start
over), it will be created with a new constant ID but the same name,
which might be problematic.

<p> A better approach is to use the Recreate Constant tool, which
removes from the KB all of the assertions involving that constant,
while leaving the constant itself intact.  This is a much cleaner and
safer way to start over.

<p> To reach the Recreate Constant tool, click on the "Recreate" link.

<p> 

<hr>
<a href=#top><img src="