added spec for boolean logic involving constants