Workflow Satisfiability Problem with User-Independent Constraints