printing line numbers for predicates
fixed assertion statement insertion