Negation map! No fruitless cycle detection right now