Add an extra example to AvoidFor's spec