let
is_horn config = config.is_horn
&&
config.problem
#
isHorn