Alice -- Tested property compilation GOOD