Bugfix on DatalogProgram datastructure
urgent buxfix