Removed useless argument to Th.assume