We have a possible bug in the reification plugin, the reification that
fails is on line 123 of Java/Semantics.v