https://123dok.net/document/zgwvo96y-modeling-reducibility-on-ground-terms-using-constraints.html