[Truffle] Backreference specs.