dev-448: different ins/del penalties
dev-449: unequal ins/del in global() and extend()
dev-450: support diff ins/del penalties. NO TEST!!