Don't launch new tread and block old one if no multi-threading is needed
Don't add literal to zero-assigned list if it's BVA
Make sure all is fine with the returned zero-assigned literals
Use a more strict assert