show lexical env. on assumePred
symbol and class, ends up being passed class in 12. (in comments)