append two structure names with "_isar" to avoid confusions coming from the...
append two structure names with "_isar" to avoid confusions coming from the same structure name at two different places
append two structure names with "_isar" to avoid confusions coming from the same structure name at two different places