Save internal propositions .spec file. Remove hack for internal propositions for loading Strategy