Adding horn-clause generation for Leon programs, use with --genHorn