WyC: fixed bug for dereference assignments; added test case to match (which doesn't yet run though). #325