Coded up basic support for enums in JPA, made some data type tests for
integers and strings, fixed up a problem if if_acmpeq bytecode in
symbolic execution