Fix a bug where if A implied B, and A was nuked, then the A->B implication wasn't removed.
has_dimensions?