Map function on boundary submesh to full mesh

The problem seems very similar to the one discussed in this thread . If true, you do not need to lift the function from sub to main mesh in order to add the term in the weak form. Passing the entity maps to the form compiler should be enough as explained in the referred thread.