Ideas for connecting inductive program synthesis and bidirectionalization