Me rindo - no puedo resolver este problema aún. Quizás otro día... Por ahora, solo dejaré este COMENTARIO MASIVO explicando el problema y pasaré a otras cosas. Es un poco triste, la síntesis de pruebas depende de que esto funcione. SupGen dependiente es el código más difícil con el que he trabajado.