How to rewrite this problem in AlphaGeometry language?

[mathinfinity]

This is not a hard problem. I have solved this but I am not able to translate this into AlphaGeometry language.
ABC is a triangle with incentre I. The feet of the altitudes from I to BC, AC, AB are D, E, F respectively, and the line through D parallel to AI intersects AB and AC at X and Y respectively. Prove that the circles with diameters XF and YE have a common point on the circumcircle of ABC.

I have tried programming this but I have encountered some error here. This is my code.
a b c = triangle a b c; o = circle o a b c; i = incenter i a b c; d = foot d i b c; e = foot e i a c; f = foot f i a b; x = on_pline x d a b, on_line x a b; y = on_pline y d a c, on_line y a c; m1 = midpoint m1 x f; m2 = midpoint m2 y e; q = on_circle q m1 x, on_circle q m2 y ? cyclic q a c b

But when I run it, there are no responses from alphageometry and ddar (other example problem works tho), so I think it's some problem about the translation into alphageometry language. Can anyone help me?

[mathinfinity]

The problem has been resolved. It turns out it is a careless mistake by myself. Thanks.