0.7.2 Release: Fix bug of `restrict` with $isolated