Progression of Decomposed Situation Calculus Theories