Lazy BDDs with eager literal differences | Dark Hacker News