* Add LUTE theorems to verify multicore architectures