Constraint for 32 bit addr to be different than prev addr by 2 bits

In reply to dave_59:

$countones(addr ^ const’(addr)) == 2;’

what does const do here?