Computing support-minimal subfunctions during functional decomposition