Non-simultaneity condition not working on an uproc when conditioned on its uproc father Completion