(atomic macro) change goals when needed
This command is exactly like ACL2-pc::cg except that it ``succeeds'' when the current goal is equal to the specified goal, where cg would fail.
