Added reifyDAG (written by Patrick Bahr)