Support for CondDeref in requires.  Not sure if heap is right.