Added auto-recognition of relations in the input program.