skeleton fom semantic checking visitor