“Practical Programming by Example”