WP144: Iterative Formalization of Smallest Workface Boundary for Generating Daily Bills of Materials