Var type checking debug