Update terrytester

added assume method