ShowBDD
Nodes (comma-separated, format: id,variable,low,high):
OK