Added preliminary implementation of synthetizeVariableFrom method
Fixed variable name issue