relax comparison of terms (no type mismatch when they have two different form
bench tool: output error also on stderr