Made PropagatedCount a global variable so it correctly counts the propagation in Test.cpp