Merge pull request #146 from jix/aim_vs_smt2_nonzero_start_offset