public void TrfOutParameters()
{
var r2 = m.Register(2);
var stm = m.SideEffect(m.Fn("Hello", m.AddrOf(r2)));
trf = CreateTrashedRegisterFinder();
trf.EnsureEvaluationContext(CreateBlockFlow(m.Block, m.Frame));
stm.Instruction.Accept(trf);
Assert.AreEqual("<invalid>", trf.RegisterSymbolicValues[(RegisterStorage)r2.Storage].ToString());
}
