-- Removed bdd options -> causes heap overflows