clast.c: use CloogEqualities and CloogConstraints instead of CloogMatrix