unify match working a bit
add a contra test