The TRS sampler for terms, rules, TRSs, etc. is currently not very good. The difficulty is that it rarely samples things of moderate length. It either favors very long terms or constants. Reliably sampling terms with 2 - 20 nodes has proven difficult to do quickly.
The TRS sampler for terms, rules, TRSs, etc. is currently not very good. The difficulty is that it rarely samples things of moderate length. It either favors very long terms or constants. Reliably sampling terms with 2 - 20 nodes has proven difficult to do quickly.