remove minikanren