Inference

fun Inference(start: Node)