Fix to set solver path by John and addition of all instructions in Parser file