2lib solver: Do not try hopeless escapes