A Classical Realizability Model for a Semantical Value Restriction