Maximum flow code with Goldberg algorithm (FP PAAL)