You can project the FacetNormal to be Function, as shown in:
FacetNormal
Function
and use it directly in your Dirichlet boundary condition