Expanding Motion Programs under Input Constraints. | AMiner