临时线路巡视检查项目与要求：手续是否完备；不可超时使用；离地高度符合要求；设有总开关和熔断器；设备的金属外壳接地良好；使用绝缘良好的绝缘线敷设等。详见第四章第六节。临时线路可以超时使用，超过时间后不需办理延长使用手续。

甲开发商将一套别墅分别卖给了乙和丙，因资金紧张甲又将该别墅抵押给了丁。因别墅未交付，甲又将该别墅租给了戊。因买卖、抵押、租赁而发生纠纷。请回答下列问题：

设甲与乙、丙签订合同后，乙、丙未进行预告登记，甲将房屋抵押给丁，且办理了抵押登记。下列表述正确的有：（）

A.乙、丙对别墅享有合同债权

B.丁对别墅享有抵押权

C.丁对别墅的抵押权自抵押合同签订时设立，登记仅具有对抗效力

D.丁可优先行使抵押权