Added is_strongly_regular invariant