Fix parallelization issue with rule synthsr#79

Dhananjhay merged 2 commits intomainafids/autoafids:mainfrom

fix-issue-#74afids/autoafids:fix-issue-#74Copy head branch name to clipboard