Introduced operation to generate ZDD from matrix representation of
trees.