Branch Coverage for Arbitrary Languages Made Easy