More on assertion generation