/**
 * @name Test for destructors
 */

import csharp

where forex(Destructor d | d.hasNoParameters())
select 1