Func call semantic checking looks good