non-passed optional parameters make some BBs unreachable

they don't get removed yet, perhaps because they are still
referred to by the dominance tree?