Restrict locals of refinements in type checking rule for actions