add initial minimization to find legal configuration