Elixir: Lazy BDDs with eager literal intersections | Heykuki News