add assertion to reachable methods