Fix false alarm on semantics-check guards * Add additional specs for semantic_errors/*.md