* src/ltlvisit/syntimpl.cc (syntactic_implication): Do not create visitors if arguments are constant.