Learning To Reason About Code With Assertions: An Exploration With Two Student Populations