Boosting isomorphic model filtering with invariants