fix NPE in convertible?
add test for infer-tag+validate+analyze-host-expr combination