Information-theoretic User Interaction: Significant Inputs for Program Synthesis