First rules seems to run
Working way through rules, fixed inverse for alternative_name nodes
Working constraint check
ok, so parts just weren't coded, moving back to classification