Move files to the correcr place, like a sensible person (makes it actually work)
Make the postcondition error better, and make the tests actually run