Yes, they could be added. But it shows that others are never tested with constant folding...