make termination check default
take care of undefined source positions
update README
update tests