#include <debug.h>

#include "free.h"

void free_simplifications(
    struct simplifications* this)
{
    ENTER;
    TODO;
    EXIT;
}