PolyML expression: Factorize version number in a separate variable