Symbolic bytecode evaluation with JastAdd