test for bug in clpmn