Some AIR tests and proper conversion insertion