Only keep the property node that have a line number

This is necessary because sometimes CBMC outputs a property that does
not have a line number.