Fix insets

Added a TODO to to generate this test instances like these.