Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints 1