Fixed ZDD intersection