Stream wrappers

[Damtev]

Description

Implement Ut wrappers for Stream (#145), IntStream, LongStream, and DoubleStream (#146).

Expected behavior

The implementation should allow a successful analysis of stream usages (like map, filter, distinct, etc methods).

Environment

Not applicable.

Potential alternatives

Unknown.

Context

We cannot successfully analyze standard Stream's implementation because of its high complexity, and the existing wrappers mechanism is the only way to support Stream analysis.