private import rust

predicate toBeTested(Element e) { any() }