ASA: allow service-object with implicit destination

[dhalperi]

Though it will show with "definition", ASA at least 9.7(1) allows you to skip
that clause when defining service objects:

If you enter this:

object-group service service-ssh
 service-object tcp eq ssh
 service-object tcp source eq www eq ftp

It will be acceped and show as this:

object-group service service-ssh
 service-object tcp destination eq ssh
 service-object tcp source eq www destination eq ftp

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #4278 into master will decrease coverage by <.01%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##             master    #4278      +/-   ##
============================================
- Coverage     75.46%   75.46%   -0.01%     
+ Complexity    25802    25800       -2     
============================================
  Files          2105     2105              
  Lines        102343   102343              
  Branches      12269    12269              
============================================
- Hits          77235    77230       -5     
- Misses        19503    19507       +4     
- Partials       5605     5606       +1

Impacted Files	Coverage Δ	Complexity Δ
...src/main/java/org/batfish/coordinator/PoolMgr.java	59.55% <0%> (-4.5%)	13% <0%> (-2%)
...java/org/batfish/symbolic/state/EdgeStateExpr.java	73.91% <0%> (-4.35%)	10% <0%> (-1%)
...ain/java/org/batfish/coordinator/WorkQueueMgr.java	70.84% <0%> (-0.59%)	90% <0%> (-1%)
...col/src/main/java/org/batfish/role/InferRoles.java	91.24% <0%> (-0.37%)	68% <0%> (-1%)
...src/main/java/org/batfish/coordinator/WorkMgr.java	69.04% <0%> (-0.28%)	277% <0%> (-1%)
...fish/grammar/cisco/CiscoControlPlaneExtractor.java	66.92% <0%> (+0.02%)	1465% <0%> (+2%)	⬆️
...tfish/representation/cisco/CiscoConfiguration.java	84.08% <0%> (+0.12%)	531% <0%> (+1%)	⬆️
...ocol/src/main/java/org/batfish/datamodel/Flow.java	82.9% <0%> (+0.72%)	74% <0%> (+2%)	⬆️

[progwriter]

Reviewed 7 of 7 files at r1.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @arifogel and @sfraint)