CryptadditionProblem class started (BinaryConstraints and tests missing)