Currently some error messages are not very clear in particular we need to - check for linearity of variables - don't assume that syntax has been done (some check in typing and tiering are not done because I assume that we ran -s before hand)
Currently some error messages are not very clear in particular we need to