Refactor deduce-with to write deduce

  * And added .gitignore