Layer Compression in Decision Diagrams