Add test case for dolfin.