Feature files and executable specifications for Universal Civil Claims