Merge pull request #531 from antmicro/kr/adapt_surelog

systemverilog plugin: changes required for newer Surelog version