relation($param(_VUEH, _VUEI, _VUEJ, _VUEK), dsimc).
relation(group_info(_VWRY, _VWRZ, _VWSA, _VWSB, _VWSC, _VWSD, _VWSE, _VWSF, _VWSG, _VWSH, _VWSI), simc).
relation(seq(_VWAH, _VWAI, _VWAJ, _VWAK, _VWAL, _VWAM, _VWAN, _VWAO, _VWAP, _VWAQ, _VWAR), simc).
relation(num_of_classes(_VVIQ, _VVIR, _VVIS, _VVIT), simc).
relation(elements_of_order(_VVIU, _VVIV, _VVIW, _VVIX), simc).
relation(auto_gp(_VVBZ, _VVCA, _VVCB, _VVCC), simc).
