Add assertions for : calls, avoid bad recursion