Performance Pragma syntax checking improved

Letitia Lirequested 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