Does adding checks for the (NoCall, Alt), (NoCall, Ref), etc cases make sense here?