(DAL) Better input token determination

fixes performance bottleneck in z3 for RVC networks