fix: PatternMatcher ignores isImplicit

[pvojtechovsky]

The isImplicit attribute is ignored by pattern matcher now. It means that these two lines:

java.lang.String x;
String x;

are same from pattern matcher point of view.

It will be tested by #2683 which correctly sets isImplicit attributes and therefore two lines above has different values. Actually the values are same so it is not easily testable.

[pvojtechovsky]

It ignores difference between implicit and non implicit blocks too. For example

if (x) { 
  dosomething();
}

and

if (x) 
  dosomething();

are same from pattern matcher point of view

[monperrus]

LGTM.

[monperrus]

I guess it's important for users. Could you update the documentation to explain this?

[pvojtechovsky]

Documentation was added. Thanks for that idea ... I do not like writing documentation much, but I agree that it is critical to have good documentation. It is not enough to have good code ;-)

[monperrus]

Thanks!