Add passable test for product function