Three main functions implemented, debug to be done : Objective, Backtrace, Imply
merge conflicts in notes