Printcore prints rules twice

[Bart Bogaerts]

if both the truth and the falsity of the defined atom are relevant for unsatisfiability

see

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=b53c9b982012aaae7b8b

(bug is because of two markers per rule)