Abs value inference and optimization

[jane-intel]

Details:

PyTorch semantic of Expand operation requires Abs operation for translation which is usually a no-op.

1. partial value and symbol propagation for Abs operation
2. optimize out the Abs with nonnegative input
3. for this case Abs(Concat([Gather(ShapeOf), -1, 1, -1])) pulls Abs and tries to const-fold it. Resulting in Concat([Abs(Gather(ShapeOf)), 1, 1, 1]). Applies (2) to the graph and gets Concat([Gather(ShapeOf), 1, 1, 1]) because ShapeOf's lower bound is 0.

Tickets:

• CVS-141274

---

UPD: Current PR unraveled the issue in pass::Manager -- here is a WA: #24604, ticket: CVS-141764