remove final ; in extract_condition
start line numbers at 1 instead of 0