Trying to prove compilation of statement. Not finished.