removed useless argument in the constructor of ConstrainedTerm