core: find a bug in the implementation of symbolic execution