add variable annotation to the bitset #373