Fibration of points and congruence modularity