New assert() statements to verify the correctness of the BTCF_AtLast flag