litmus: correct -cautious true/-ascall true incompatibility, part I
litmus: correct -cautious true/-ascall true incompatibility, part II