free_formula (Negation f r) = Negation f' r
     where f' = free_formula f
free_formula (Negation f r) = Negation f' r
     where f' = free_formula f
free_formula (Negation f r) = Negation f' r
     where f' = free_formula f