Remove hardcoded list of aliases
This function https://gitlab.inria.fr/verifisc/mlang/-/blob/master/src/mlang/mpp_ir/mpp_ir_to_bir.ml#L61 hardcodes some variables aliases to emulate some INTER check on the M variables. This should not be harcoded, as it is not future proof with new versions of M and M++ source files.
@rmonat do you remember if there was a logical test you could do on the variables of
tvgI.m to get the same list instead of harcoding it ?