Compile assertion.