missing score in clingo when using a filter