Allowing $ in CCS variables