Syntactic Optimizations for PSL Verification