[mpiwg-tools] ticket 383: variables with same name should have same meaning