Add xor binary predicate and s(:boolean) via preprocessor