add Problem and ProblemTest
add BinaryExpression and Problem methods