Embed PLA.
RCBDD synthesis.