Changing Any to or. This speeds up things quite a bit. Making reductio! and all-reductio! conditions more stronger.Things are a quite a bit snappier now.