fixed some conflict with my local version. And started editing the  abstraction rules section
fixed some conflict with my local version. And started editing the 
abstraction rules section

seplogic/jstar,seplogic/jstar,septract/jstar-old,seplogic/jstar,MatkoBotincan/corestar-old,septract/jstar-old