Fix bugs in se-interpreter