[CS] Ensure determinism of a spec

#492