Probabilistic Synthesis for Program with Non-API Operations | IEEE Conference Publication | IEEE Xplore