code: added equiv predicate
doc: added equiv predicate
test: added equiv predicate
how to run tests