Update MiniKanren.cs