Better x86 analysis and 'ao' now accepts a counter argument