do not distinguish variables and constants in constructor terms