Enforce safety of proof principles for higher-order store