Comment # 2 on bug 1094963 from Stefan Hundhammer

Probed devicegraph (01-probed.yml from the attached y2logs tarball):

# 2018-05-28 09:23:31 +0200
---
- disk:
    name: "/dev/sda"
    size: 40 GiB
    block_size: 0.5 KiB
    io_size: 0 B
    min_grain: 1 MiB
    align_ofs: 0 B
    partition_table: msdos
    mbr_gap: 1 MiB
    partitions:
    - free:
        size: 1 MiB
        start: 0 B
    - partition:
        size: 2054 MiB (2.01 GiB)
        start: 1 MiB
        name: "/dev/sda1"
        type: primary
        id: swap
        file_system: swap
    - partition:
        size: 12480 MiB (12.19 GiB)
        start: 2055 MiB (2.01 GiB)
        name: "/dev/sda2"
        type: primary
        id: linux
        file_system: xfs
    - partition:
        size: 16719 MiB (16.33 GiB)
        start: 14535 MiB (14.19 GiB)
        name: "/dev/sda3"
        type: primary
        id: linux
        file_system: xfs
        encryption:
          type: luks
          name: "/dev/mapper/cr-auto-1"
    - partition:
        size: 9706 MiB (9.48 GiB)
        start: 31254 MiB (30.52 GiB)
        name: "/dev/sda4"
        type: primary
        id: linux
        file_system: xfs