Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language