The following code checks whether a certain property is verified within a list of tetrahedra by means of processes.
RUN METHOD
def pr
