Flow-sensitive analysis of truth values