Add test cases made by Peter Wolf's group