Testing code with non-termination

See ResMlt:521