let isdef (r,_) = !r <> None