Annotations for the PicoSAT wrapper