Testing implementation of surface pressure element (ALE) by verifying tangent stiffness matrix. Test like this is an example of how to verify the implementation of Jacobian.