A reducibility concept for problems defined in terms of ordered binary decision diagrams