task/waitfor tuple problem

[pabuhr]

It has something to do with the tuple.

#include <thread.hfa>

thread Gortn {};
[void] mem3( Gortn & mutex gortn, [int, int] m ) {}

void main( Gortn & gortn ) {
	waitfor( mem3, gortn );
}

cfa test1.c
CFA Version 1.0.0 (debug)
error: Managed object's initializer is too deep __guard: instance of struct monitor_guard_t with body 1  with initializer (maybe constructed)
  Compound initializer: 
    Simple Initializer: Variable Expression: __monitors: array of pointer to instance of struct monitor_desc with body 1  with dimension of constant expression (1 1: unsigned long int)
    ... with environment:
      Types:
      Non-types:

    Simple Initializer: constant expression (1 1: unsigned long int)
    Simple Initializer: Cast of:
      Variable Expression: mem3: function
      ... with parameters
        gortn: mutex reference to instance of struct Gortn with body 1 
        m: tuple of types
          signed int
          signed int

      ... returning nothing 

    ... to:
      function
        accepting unspecified arguments
      ... returning nothing