add spec to BinaryCondition

add spec to constructor