small ethleak improvement (#1153)
small ethleak improvement (#1153)

also check if dest can solve to > 1
trailofbits/manticore,trailofbits/manticore,montyly/manticore,montyly/manticore,trailofbits/manticore