Cross coverage binsof construct

In reply to Shashank Gurijala:

There are no bin values where binsof(c1.a1) AND binsof(c1.a2) would both be hit.