ariel demure compilation