pub fn fold_replica_definition<F, T: AstInfo, T2: AstInfo>(
    folder: &mut F,
    node: ReplicaDefinition<T>
) -> ReplicaDefinition<T2>
where F: Fold<T, T2> + ?Sized,