Tests for memo2impl