rename semantic checks