@point_inequalities: false;
let A, B, C = Point();

angle(ACB) = deg(90);
angle(ABC).sin() = 0.5;