Complete Sets of Frontiers in Logic-Based Program Transformation