Create semant.h