Code from the TASTE project that triggers two pychecker bugs (see README)