add subtyping constrains in unused vars