Refinement sollte passen.
Bug im cg gefunden und behoben