make sure the empty case block case is unified with Void (closes #3391)