First prototype for inclusion proofs during computation of CommP