I have 2 questions

1) Suppose we are asked to convert an ZDD to FDD where originally a FDD diagram is given, should we apply Elimination rule before performing set representation(If any high(v)=0)

2) Suppose in the final ZDD that we get after doing positive Davio decomposition, if we have any node that has high(v)=0, should we apply Elimination rule?