type check method v2
type check assign
type check cond