Fixed non-unique state pruning; corners table functional