Removing circular dependency between facts and violations and review