Moved the whole `with-policy' code from cram_plan_library to cram_language