Remove surperfluous function for loading Snark examples