simplified variant of issue #3, for easier debugging
add one more test related to issue #3
add another weird testcase