Fixed the last all-at-once unit test. It was a matter of simulating deep substitution by dereferencing variables in knownEqual().