Non-blackbox solvers do not identify torch.all() and torch.any(), which are needed for multi-dimensional tensors