simulator complilation proof