Bug in write_realization.
Embed PLA.
RCBDD synthesis.