On compile-time evaluation of process partitioning transformations for Kahn process networks