pass allowDrop flag to refinementToBoogie1
pass allowDrop flag to refinementToBoogie1

This is needed in multicast verification where some of the fork branches in
the concrete spec are allowed to drop packets as long as all every
packet delivered by the abstract spec is delivered by one of remaining
branches

ryzhyk/cocoon