Implementado el if para checkear que las funciones agregadas como CCDs no tengan argumentos de tipo de algun ADT