nitvm: Bug fix in subtyping test