Using Pivot Consistency to Decompose and Solve Functional CSPs