asyua-ye

in alphageometry.py try_translate_constrained_to_construct() ``` for prem in prems: name, *args = prem if point not in args: return f'ERROR: {point} not found in predicate args.' if not check_valid_args(pt.map_symbol(name), args): return...