GreASE: a tool for efficient “non-equivalence” checking