theorem Th21: :: SF_MASTR:21

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