private boolean isLeaf(final Expr expr) {
			if (expr instanceof StoreExpr) {
				return ((StoreExpr) expr).target() instanceof LocalExpr;
			}

			return (expr instanceof LocalExpr)
					|| (expr instanceof ConstantExpr);
		}