let is_accepted ((_,_,accept):maquina) (laqui, restante) = restante=[] && not (Sestado.is_empty (Sestado.inter accept laqui))