lpsconstelm --quiet --remove-singleton-sorts --remove-trivial-summands: exited with status 1
