Semantics-quided Inductive Synthesis