When asking if stable identifier required for expression passed to method call, we need to check, if this call requires this expression as stable. General rule: is it possible to return appropriate parameter as method dependent type #SCL-6608 Fixed