delete duplicated tests (moved to exprop.scala a while back)