Automated Partitioning (Monomorphic Functions)