Change the eqy work scenario and add equivalence check for two Nets Signed-off-by: Sergey Smolov smolov@ispras.ru