Instruction and Solution Probabilities as Heuristics for Inductive Programming