lp2cpp: A tool for compiling stratified logic programs