code: private Context translateAssume(WyilFile.Stmt.Assume stmt, Context context) {
  		Pair<Expr, Context> p = translateExpressionWithChecks(stmt.getCondition(), null, context);
  		Expr condition = p.first();
  		context = p.second();
  		return context.assume(condition);
  	}
docs: Translate an assume statement. This simply updates the current context to
  assume that the given condition holds true (i.e. regardless of whether it
  does or not). The purpose of assume statements is to allow some level of
  interaction between the programmer and the verifier. That is, the programmer
  can assume things which he/she knows to be true which the verifier cannot
  prove (for whatever reason).
  
  @param stmt
  @param wyalFile