Verification: LCA and EPD of partitions and doors