Fixed semantic_check signatures. Compiles.