Fixed check-positive-types-actuals when ndecl and decl are in the same current
module; was ignoring ndecl positive types in this case.
Merge remote-tracking branch 'origin/master'
added pvs-gui link