Class ContractElementVisitor