version update to resolve wrong domain/range reasoning.