compatible rule
functions to construct an argument graph with multiple issues at once
refactoring of the triplestore module