Avoid cost computation for rules in rule sets like concrete, simplify_prog etc.#3708

unp1 wants to merge 4 commits intomainKeYProject/key:mainfrom

notAlwaysCostBasedKeYProject/key:notAlwaysCostBasedCopy head branch name to clipboard