creating a copy of desired for the goal works.
working on hack for desired
wrote better code for copying the desired predicate