2lib solver: Improve the no-lib-gain test