Symbolic execution engine for Java