WIP: Add test case for dolfin.