Unsure how to test the PR assert/eval functions. Will come back to later
fixed the 'copy' constructor... though it is not really necessary.
Found bug where predicate does not output quotes taken in.