Getting started with the CoCounsel Library