non-local instances for Sem_equiv