Adds a ProcessError exception and accept code 11 in clasp solver