Test version with both loop and letfn symmetric?'s