refcell: split switching back to the type system and chekcing the first instruction into two steps