use assert instead of branch in along