Meta-program for program 1

for each line:
  if line contains arrow: convert line to yes/no test
  otherwise: keep line as fact