non-strict flow check & RecursionTest