miniKanren relational interpreter with term size argument