debugging simplicial.lean