Don't synthesize duplicated programs (programs are equal if they return same values)