A = (-3.0424888233248897, 1.5490343205106316)
B = (11.91644509571104, 1.629350744236999)
a = Line(A, B)
C = (-2.861776869940563, -3.3101093149345964)
b = Line(C, a)
D = (1.495389117214869, 4.520741998386225)
c = OrthogonalLine(D, a)
E = Intersect(a, c)
F = Intersect(b, c)
C' = Mirror(C, c)
α = Angle(A, E, F)
β = Angle(C', F, E)