Benchmarks for systems supporting reasoning with variable binders