bugfix, since datalog variables can have any sign now