[Truffle] Pass a few @@var specs with a single annotation fix.