Added test (currently ignored) to reproduce #81