Add test for autounion type
Add tools to test yaal