Performance Pragma syntax checking improved

Closed Letitia Li requested to merge labsoc_sec into master

It will now catch empty states and I have added tests to test for them as well.

Merge request reports