/prolog/problems/trees/mirrorbt_2/