Make the notion of valid parallel programs less strict

[stevana]

@Danten pointed out that the current way validParallelProgram is implemented doesn't accept programs such as:

x <- new
y <- new
---------------------
write x 0 | read y 
          | delete y