incorporated infer program, fixed licensing, minor fixes for CRAN check, added input testing