Edef, Idef on the way
Bdef on the way
Bdef-SynthTree: First tests