Added test cases for CraigInterpolation