Compilation of OF model AylatheGodess