Ik geef op - ik kan dit probleem nog niet oplossen. Misschien een andere dag... Voor nu laat ik gewoon deze ENORME opmerking achter waarin ik het probleem uitleg, en ga ik verder met andere dingen. Een beetje verdrietig, proof synthesis hangt af van dit werkend. Dependent SupGen is de moeilijkste code waar ik ooit mee heb gewerkt.