Yes, free term can be created from a variable, so we need to add extra check.