'From Iddo Lev\'s PhD Dissertation p108-109
:param index_counter: ``Counter`` for unique indices
:param glueFormulaFactory: ``GlueFormula`` for creating new glue formulas
:return: (``Expression``,set) for the compiled linear logic and any newly created glue formulas'

def compile_neg(self, index_counter, glueFormulaFactory):

    self.dependencies = []
    return (self, [])
