Similar to monodiv, but does a polyvariant binding time analysis. Returns the resulting polyvariant division.