free_formula (Junction j fs r) = Junction j fs' r
     where fs' = map free_formula fs
free_formula (Junction j fs r) = Junction j fs' r
     where fs' = map free_formula fs
free_formula (Junction j fs r) = Junction j fs' r
     where fs' = map free_formula fs