#include <stdio.h>
#include <stdlib.h>

#include "type-def.h"

#include "util-util.h"
#include "propagation.h"