struct simplifications;

void free_simplifications(
    struct simplifications* this);