information about Regular model checking field