Intermediate language for verification of SCADE programs (including translation)