There occur a strange timeout in the non reflexivity tests of pcc2.

fixes #213