Fix withOracle and holes semantics, do not treat them as special trees