fixes in the Path iterator, Reil instruction and added POC of BAP parsing
added abstract program primitive