@override List<Value> parameters() { return [ ...heads.expand((h) => h.parameters()), ...proj.parameters(), ]; }