Am I formulating this problem correctly ?

Hi everyone, I'm having this geometry problem: Let ABCD be a square, let O be the intersection between AC and BD, let E be a point on the segment CD, let M be the intersection between AE and BC, let I be the intersection between OM and BE. Prove that the angle OIB is 45 degree. Here is my problem formulation which I added to examples.txt
`a b c d = isquare a b c d; o = on_line a c, on_line b d; e = on_line c d; m = on_line a e, on_line b c; i = on_line o m, on_line b e ? s_angle o i b 45`
I then run the code normally as explained in the README. However it keeps running and does not finish. So I think maybe the way I formulate the problem is wrong. Can anyone help me check ? Thank you very much.