Added Manually coded Example for C translation, to functionImpl and setImpl Theories.