reproduced null pointer exceptions without smt