Got reasoner to infer test Expression is an Integer Expression, using generated Operators and Expression classes.