Transforming B constants to B definitions (AST transformation)