(options -replace -instrument check_tree -produce-object)
(options -readlog -writelog -ignore)
(options check_standard)
