Artifacts of 52°North SOS - Series type checker module #773