Add working test file with large amounts of output

Skolem returns an empty list where it should be the api functions
application to the returned instance.