Added implementation of FZ's element_var with a MDD.