PPE: workaround clang-analyzer warnings

Add assertions to tell Clang that getting the field will always succeed because
we checked for its existence earlier.
Merge into master from pull request #32:
PPE: workaround clang-analyzer warnings (https://github.com/floodlight/bigcode/pull/32)