add counter network for card(Is,Fs) Boolean expression