import csharp

from Ssa::Definition def
select def, def.getElement()