Rewrite analyze_restrictions_on_use to be more clear