Some testcases for firedrake