Dummy semantic checker