extract predicate that verifies if the king is in check