The only modification that we add that when a relation R is included, the MakeRefExpr() should be called again for the relatum.
if Val(E(N i , N k i+1 )) expresses a relation of r with r′ ′ ′ ′ then we have to call MakeRefExpr (r′ ′ ′ ′,p,T,L) again to find description for r′ ′ ′ ′.