Add tests of succeed and fail
Add various tests of complex cases