Add ROBDD algorithm (but dot output is missing)