Čertovica, Bocká dolina