Added unfinished derefer phase
Implemented derefer
Derefer passes a basic test