fix bugs with label of logical expression