bool EmptyMapType::contains(Term &t)
{
  return t.is_empty_map();
}