Análisis de complejidad sobre checkPiso