a-partition

Splits an array into two parts if given predicate satisfied