editing the env safety violation check for LTLMoP