Output-sensitive Information flow analysis (Logical Methods in Computer Science, 2021)