-policy check implemented for testing and analysis (not stable)