Remove 'juicified semantics deterministic' hypothesis
in safe_clight_rc.v.