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