Symbolic layout compaction under conditional design rules | Synapse