Reduced it to only the necessary, no succes yet.
Defined elim via containers, terminates now.