<p>who up and likes efficient decision tree synthesis?</p><p>(note that binary literal bit order is msb..lsb but concatenations are { lsb .. msb }. this is incredibly confusing and we&#39;ll fix it soon)</p>