Counterpart semantics for a second-order mu-calculus