remember_table_entry::remember_table_entry(function const & f, ex const & r) :
hashvalue(f.gethash()), seq(f.seq), result(r)
{
remember_table_entry::remember_table_entry(function const & f, ex const & r) :
hashvalue(f.gethash()), seq(f.seq), result(r)
{