Working NFA using core.logic