adapt subdomain assembler for new dolfin API