Bounds check ACT internal inv