theorem Th37: :: SF_MASTR:37

for p, r being preProgram of SCM+FSA st dom p misses dom r holds
UsedI*Loc (p +* r) = (UsedI*Loc p) \/ (UsedI*Loc r)