}
}
TransitionEffect _effect = transition.getEffect();
if ((_effect instanceof TransitionTargetEffect)) {
TransitionEffect _effect_1 = transition.getEffect();
final TransitionTargetEffect targetEffect = ((TransitionTargetEffect) _effect_1);
State _state_2 = targetEffect.getState();
boolean _notEquals_5 = (!Objects.equal(_state_2, null));
if (_notEquals_5) {
State _state_3 = targetEffect.getState();
JexTestJvmModelInferrer.this.inferStateTestMethods(sequence_1, _state_3, jvmClass);
}
}
}
}