Null guard to avoid NPE, MPS-17910
Recursion guard for typechecking, MPS-20239