clause-processor strange hint fixed