Forcing structures and cliques in uniquely vertex colorable graphs