convert libxdr to requireProperty