Semantic plugin: cosmetic fixes
Semantic plugin: more (disabled now) tests for various pointers