tosem: Fix EcoreMAVOToSMTLIB when Node and Edge are metamodel classes