Correct handling of transitions with no post places, when creating the live homomorphism.