Separate returned value isolation check from purity level calculation