SoftwareSpec: compact array that may contain nil