*** clasp ERROR: Read Error: Line 2, wcnf: clause weight expected!